Skip to content

Comments

Mark Router::add_route as deprecated#367

Merged
jdm merged 4 commits intoservo:mainfrom
simonwuelker:typed-route-followup
Oct 15, 2024
Merged

Mark Router::add_route as deprecated#367
jdm merged 4 commits intoservo:mainfrom
simonwuelker:typed-route-followup

Conversation

@simonwuelker
Copy link
Contributor

Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
Signed-off-by: Josh Matthews <josh@joshmatthews.net>
@jdm jdm added this pull request to the merge queue Oct 15, 2024
Merged via the queue into servo:main with commit 4e51f95 Oct 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants